perm filename CMTI7.360[360,GF]3 blob
sn#866850 filedate 1988-12-16 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β@↔&"p_MG#≤LG∧ 0CB0pπ↓ 0⊂↓∪@ ⊂α∪ ↓S (↓R`0(↓R` (↓R@0(↓R@0(↓R@0(↓R@ (↓R@ (↓@`∀P↓↓ 0_R@ α@∀X↓@⊂λ↓@@∀`↓A4("_A1E`⊂0'iP_&@iP_&@i@_&i@_&`⊂_%A ⊂%@`@_%@`P⊂%@`@_%`P_%`P_%`P_%`P_%@P_%@P_%@P⊂%@@⊂%@@ ⊂&↓λT 1Cα⊂pπ↓@Dp↓↓$h↓↓4`↓↓ 4X↓A@∀X↓∩@4P↓R@4P↓∩@$P↓α ∀P↓A`∀X↓↓ $hαQ(F πEαq8∧AJ`_*@jP_*@jP_*j@_*ip_↓i`⊂↓↓ P⊂αi@⊂α@i0_α@i0⊂α@i _α@i _α@i _α@i ⊂α@i ⊂α@`0λ%@P_↓@) ⊂α↓ λ%@@ λ@` λ&`@_"QP`λCA`0α∪@ S (S 0R`0(R@0(↓∩A∧P↓R@4P↓R@$P↓B∀X↓↓`∀X↓↓ $hαQ(F0λDβa8ε↓
P⊂↓J@_@j@⊂↓@J0_)@j0_)@j _'Bj _)j _(@j⊂_(@j⊂_(@j⊂_(j_(j_(ip_'@ip_%@@ ⊂%` ⊂%@ ⊂%AλT 3CB⊃(π↓`0⊂↓∀ ⊂α∪` ↓S@ (↓S 0(↓S (↓S0(↓S0(↓S0(↓S (↓S (↓S (↓S α∪ ⊂α∪@0λ↓T@5⊂↓T 4X↓↓4P↓@`4P↓`4XαQ(F@λ∧bq8↓AJ_'@ip_'@ip_'i`_'i`_A P_@ 0⊂&A@_&@`P_&@`P_&`P_&`P_&`P_&`@_%@`P_%@`P_↓@)0_α`@λ%@`@_↓@) _β@ λ%@@p_"Q
⊂Hε¬bp8T5↓⊃``_↓S⊂⊂↓∩`⊂_↓∩`⊂⊂↓R`⊂⊂↓S@4h↓S 4`↓S4`↓@@∀X↓@`∀X↓@@∀`↓@∀h↓Q(FPεCβa8¬@J@_*@Hp0β@jλ↓Ipλ↓@ipλ↓@ipλ↓@j _)j _)j⊂_(@j⊂_(@j_(j_(ip_%@@ _%` ⊂%@ ⊂%AλT 5Cb!8@`e↓S`4x↓S`4x↓S@4p↓S@4p↓A4h↓@` ⊂↓∪ 0⊂@`4h↓@@⊂_↓∪ 0λST`αS0λ↓S0⊂↓R`0_↓R`0_↓@`∀X↓@`0_R`0_↓@@∀P↓A ⊂R` 0↓Q(F`∧βαq8↓↓Ip_'i`_'i`_&@iP_&@iP_&i@_&i@_%@i0_%@i0_%i _@) _@) _@) _@)@⊂"Q
Q`∂CA`_↓AP αS⊂⊂↓@⊂ ↓@⊂ ↓∩`⊂_α↓ λA $X@`00↓A@4X@`00↓A@4p↓A@00↓S@00↓A@4p↓A@00↓S@00↓A 4h↓A@00↓S 00↓A@0_S 00↓A 0 S 00↓A 0_S00↓A` ⊂S 8↓α4("≠B!(πβ@0_α↓ @λ↓@ λ↓@I0λ↓A@_%@ 0_α@i0λ↓@`P_'`P_'`P_'`P_'`@_&@`P_&@`P_↓@)P_α`@λ&@`@_↓@)@_β@ λ&@@p_"Q
ph βA`0α∪@ S (↓∪ 0↓R`00↓R` 8↓R@08↓R@08↓R@08↓R@ 8↓R@ 8↓R@ 0↓R@0(↓∩` _↓S D("≤α⊃⊂
C@P_αi`λ↓@⊂⊂↓IPλ↓@`@_&@ 0_α@IPλ↓@`@_(`P_(`P_(`P_(`P_'@`P_'@`P_'@`P⊂'@`@⊂'↓0⊂'`⊂ 'i`_&@iP_&@iP_%αλT 8C"!(π↓ 0_↓∪@ ⊂@ $h↓↓4`↓↓ 4X↓A 4X↓↓ 4P↓A 4P↓A 4P↓A 4P↓↓ 4P↓↓ 4P↓↓ 4P↓↓DX↓@D`↓@ 5↓T4x↓S`4x↓S`4X∧Q(G⊂π∧!`p↓@`0 & ⊂@ 0⊂%@ 0_↓@i0λ↓@`0⊂%@ 0_'i`_'i`_&@iP_&@iP_&iP⊂"Q∞0`πCA`0α∪@ ↓∪ ↓S ↓S ↓∪ ThβS@txβ∀`$P↓A@$P↓A@$P↓↓@$XA $`αQ(G ¬β"A β@J_(ip_'@ip_%αI`_'i`_'iP_&@iP_&@i@_&`0λ&`0λ&` λ&` λ'hT :D"@pπ`@0↓∪⊂_↓↓4`@` ↓R`⊂_↓A4X@`0 ↓S`0_↓S@0 ↓S@0 ↓S@0 ↓S 0 ↓S 0 ↓@`∀h↓A0_S 0 ↓@@∀p↓`@⊂S`@_↓Q(G0πDA`p↓AP⊂& 0⊂↓A @λ↓@@@_%@ 0_α@I0λ↓@`P⊂'@`Pλ'``λ'``λ'``λ&@``λ&@``λ&@`Pλ'@Pλ'@0⊂'AλT ;Ec pπ`@8↓↓$`@` (↓@`D`@` (↓A4X@`0(↓A $X@`0(↓A $x↓A00S@0(↓A@∀p↓A 00S@0(↓A@∀h↓A 00S 0(↓A@∀h↓A 0(S@ (↓A ∀x↓`⊂λ↓`%α`D("≡↓q⊂πβ@@ ↓@iPλ↓@@⊂λ↓I@λα` _%@ P_↓I0λα@j_(j_(ip_'@`Pλ%@0_α@) _A@λ%@ λ@@0λ%@`0 "Q∂⊂x ¬!`_α↓@$`@` ↓S⊂_↓↓4X@`0 ↓R`⊂_↓A4x↓@`4p↓A4p↓A4p↓A4h↓A4h↓A4h↓A4h↓A4p↓`4xβT`5_↓∪ ↓R`0 ↓∩` ↓∪⊂_↓∪ D("≡Aaλπβ@P_α@)`(↓@)PH&@ `λ** ⊂(@*λ'@)`λ&@ pλ& p⊂%BI0λ↓A) λα@hT λα↓0pπ`4`@@$X@`$X@@4X@@4p↓S 4h↓S4`↓S0⊂R`0_R`0⊂S ⊂S 4("∧!@X
C@p_( ⊂'@ 0_'@ 0_'@ 0_)j _)j _(@j⊂_(@j⊂_(j_(j_'@i0⊂↓i _↓I ⊂↓I0 "Qβ⊃0
GBphβ∃ 0 ↓U00↓U 8↓T`08↓T`08↓∀`00↓T@08↓∀@08S@p0T@0(↓∀@0(T@0 ↓∀ 0(↓∀ 0(↓T 00↓T 08↓T 08↓T0@↓T0@↓T0⊂↓↓5↓@@ _↓T0⊂A%↓↓Dx↓S`4x↓∩` ⊂↓∩@0λ↓∩@ ⊂R`4("εBaPπβA@⊂↓↓*P0α*00β*⊂⊂↓`pλ'@`0_β)`⊂α``⊂&@@PH&`P_%@``_%`` %`` ∧) _β↓pλ%`P(β@)0⊂α↓⊂⊂αIP ↓@ ("Qβ1(
βA`(αA Tp↓` ⊂↓A∀h↓↓ λ↓↓@∀`↓↓ @8R`0(α↓@∀X↓↓@00↓∩@00∧R@00↓R@00↓R@ 0α∩@ 0αα∀P↓↓ P8R@ (↓ 8R` _↓` ↓∪@0αQ(A`λ∧bQλπ@+λ,* @*⊂α)p⊂α@I`⊂αA P_α ⊂_&@@@λ↓i@_α _&`0λ↓@i@_↓ @_&@ λαi@⊂↓ @_&@⊂λαi@_α@IP⊂↓@iPλA @λ%@)0λ"Q↓1p∞GBphβA E0↓↓ ⊂↓`%(↓↓ 0λ↓@@5 ↓A@ λ↓@`% ↓B5_↓B 5_↓B 5_↓B 5_↓B 4xT@0H↓T@0H↓T@0H↓T@0H↓T@0H↓T@0@↓T 0H↓T 0H↓T 0H↓T 0H↓T 0@↓T0H↓T0H↓T0H↓T0H↓∀ H↓S`0H↓R` ⊂↓` (↓∩@0⊂↓@0 ↓∩@ ⊂↓` ↓∩`@(αQ(@`ECa8πα
`⊂β@JP⊂β@j@_∧J@_)@j0_)@j0_'D* _β@j _β@j _β@j _β@j _βj _βj⊂_β@j⊂_β@j⊂_βj⊂_β`0λ(@``_↓@*_β@` λ(`p_↓*_∧@j_(Ip_%@@ _%` ⊂%@ ⊂%AλT εF#↓pC p⊂↓U@ (↓ 5(↓↓ e ↓A@U ↓B5_↓B 5_↓B5_↓B5_↓B4x ∀@0@↓T@0@↓T@0@↓T@0@↓T@08↓T@08↓T 0@↓T 0@↓T 08↓T 08↓@`∃λ↓A`0_T0@↓@@∃↓B0⊂T0P↓T5↓∪`4X↓@4P↓@@$P↓@$Xα⊃(@p∩λca8π↓`PH+@`⊂↓`p⊂*@@`_@`p_*`p⊂@A⊂⊂*a⊂_*a⊂_)@a _)@a⊂_)@a⊂_'GJ0_∧@`p_)a _β@j _∧@a_)a⊂_∧j _∧@`p_)a⊂_β@j⊂_¬`p_(@a _β@j⊂_∧@`p_(@a⊂_β@`0λ(@a⊂_β@`0λ(@a⊂_β@` λ(a _β@` λ(a⊂_¬j_∧@j⊂¬j⊂¬I0⊂↓`0⊂αi _↓@0_αI ⊂↓@@⊂αI0 β↓(T πI$ApC `0β@@50↓↓ ↓↓ λ↓U ↓@` (β∃0(↓@00αU P↓B5_↓B@ H↓T`0H↓B5_↓B 0@↓T`0H↓B4x∂∀@0P↓A`5⊂↓B 0@↓T@0H↓B5⊂↓B 0@↓T@0H↓A`5λ↓B@08↓T 0H↓B5λ↓B 0@↓T 0H↓A`5λ↓B 08↓@`∃↓B@08↓@`∃↓B@08↓@@∃↓B 0@↓@@∃↓B 0P↓T0H↓T P↓∪`0H↓R` ⊂↓` (↓∩@0⊂↓@0(R@ ⊂↓` ↓∩`@(β⊃(DλεBq8λ@K0⊂-k⊂ ,Aλ@jp⊂@jpλ↓j`λ↓A
`λαjPλα@j@λβj@λβj0λβ@j0λβ@j `(@!⊂_(@! _(!0_'@A0_'@!@_'!P_&@AP_%↓aH"Qλ!H∞¬bp0πT`0@↓T@0P↓T@0X↓∀@0X↓T@0X↓T 0`↓∀ 0X↓T 0P↓T 0H↓T0@α∀↓e↓B 5↓B@4x↓C4x↓C4x↓C4x↓C4p↓C4p↓C4p↓B`4p↓B@4h↓B DPλ⊃(D_πBq8¬A`Pλ)@``λ↓@J⊂_∧@ ⊂⊂(A@_'@AP_'Ap⊂&@Bλ&bλ%@b⊂λ%@i _%i _%i _%B⊂λ%B⊂λ%apλ%apλ%@A`λ&A@λ&@A⊂⊂'@`⊂(↓HT "εCQ8AAu_↓B5⊂↓B@5⊂↓B`5⊂↓C%⊂↓C5λ↓C@%λ↓C@%λ↓C@%λ↓C@%↓C@5↓C@5↓C@5↓C@4x↓C@4x↓C@4x↓C@$x↓C $p↓C 4p↓C4p↓B`4p↓B@$h↓B 4PπQ(D(Gαq8β∧j0_¬j _εJ _εJ _ε* _ε*⊂_ε@*⊂_β `λ(@``λ(@`P⊂(``λ(αJ_α@J_α@Ip_β)p_β pλ'@a`λ'@aPλ'a`λ'aPλ'a@⊂'a0⊂&@a %∧hT #εβ18AB%_↓B 5⊂↓B`%⊂↓B`%⊂↓B`∃⊂↓B`∃λ↓C∃λ↓A@⊂(T 00T 0(↓∀00T↓%↓A %↓A $x↓A@∀x↓A@∀x↓S`4p↓S@4p↓S@4hα∩A$("⊃c⊃xEa@0β*0_β@0⊂(@a λ@J⊂ε@ip⊂πi`⊂λIP⊂λ@)@_λ@)0_ )0_%i _%i _¬BI _π@i _π@i _π@i _π@i _πi0⊂πi@⊂ε@iP⊂¬A `_β@@⊂⊂(α@λ"Q ↓`∂Ebp0∧A↓∃_↓B@5⊂↓B@5⊂↓B@5⊂↓B@5⊂↓B@5λ↓B@5λ↓B@5λ↓B@5λ↓B@5↓B@5λ∀0P↓T0P↓S`0P↓S`0P↓S`0P↓S`0P↓S@0P↓S@0P↓S@0P↓S@0P↓S 0P↓RA⊂ ∧Q(DHπDBq8αBJ0_)j _)j _(@j⊂_(@j⊂_(j_(j_'@ip_'@ip_'i`_'i`_&@i P"Q !⊂EbpH∧U@E0↓U@50↓U@5(↓U 5(↓U 5 ↓U5 ↓U5_↓T`5_↓T`5⊂↓R@0(↓R@0(↓R@⊂0↓R`⊂ ↓ST("∩cRE``HβAj0_¬@j _εJ _¬@* _¬* _∧*⊂_∧*⊂_β@*⊂_β*⊂_α*_αj_↓A
_@@ _(↓@_'A`⊂'@`p_'@`p_'@a_'a⊂_'a _'a _'a _&@a0 %α `@"Q A Ebp0¬∀`5⊂↓T@5⊂↓T@5λ↓T 5λ↓T 5↓T5↓T4x↓S`0XS`0XS`0PS@0XS@0P↓∪@0PS@0H↓∪ 0@α∩B∀("∪$"(E``8π↓j0 π↓
λ@aP ) ⊂_ε ⊂_) ⊂_ε ⊂_) ⊂_¬@ _(@ _¬ _(@ _¬ _(@ 0_∧ 0_(@ 0_∧ 0_( @_β@ 0_( @_β @_( @_β @_( @_α@ P_'@ P_α P_'@ P_α P_'@ `_↓ `_'@ `_↓ `_' p_@ `_' p β@i`λβAp_' p_∧iP⊂β@A_%↓`P⊂αB(T 'πβq8A@`HβT`0X↓∀@⊂λ↓B@∃⊂@ 0PT@⊂λ↓B@∃⊂@@0HT ⊂_↓B∃λA08T ⊂ ↓A`∃λA08T⊂0↓A ∃A@0(T⊂8↓A∃A`0 S`⊂H↓`∀xB 0⊂S`⊂H↓@@∀xB@0λS@⊂Xα∪@⊂`↓S@⊂`↓S@⊂`↓S hR@pXQ(DxG"q8¬Aj0⊂βj⊂⊂∧@j⊂¬@i`_ε@IP_πiP⊂π@i@_λI0_λ@I0_λi _λ@i _λ@i _λ@i _λ@i _λi _λi _π@i _π@I _πi0⊂ε@i0_¬@i@_∧@IP_α@ip8"Q
↓H∞¬bp0πT`0@↓T@0P↓T@0P↓T@0X↓∀@0X↓T 0X↓T 0X↓T 0X↓∀ 0P↓T0P↓T0@↓T↓E↓S`4x↓S`4x↓S@4p↓S@4p↓S 4P∧Q(EλG#a8¬Aj0⊂βj⊂⊂∧@j⊂¬@i`_ε@IP_πiP⊂π@i@_π@i0_λi0_λi _λ@i _λ@i _λ@i _λ@i _λi ⊂λ@i ⊂λi _π@I _πi0⊂α↓P_%@` λα 0_&`⊂λα ⊂&AP⊂'B`λ*@@`λ*@@P⊂*@@Pλ*@@@⊂*Aj`(+@hT )ε#A8AAe_↓A`5⊂↓B 5⊂↓B@%⊂↓B@5⊂↓B@5λ↓B@5λ↓B@5λ↓B 5λ↓B5↓A`5¬T00↓T0@↓∪`0H↓S`0H↓S`0H↓S`0H↓S@0H↓S@0H↓S@0H↓A ∀p↓B 0 S 0X↓`$P∧B D("∀bA8Ea (α* ⊂α@@⊂⊂(@!⊂⊂(! ⊂'@A ⊂'@A ⊂'a λ'i`_'A p@(α* @+↓_,k⊂⊂&!@⊂%@!@⊂%@!@⊂%@A ⊂%@A⊂⊂%@⊂⊂βI λα↓HT *εβa8@bT`↓A`00↓S 8↓B$`B0@↓∩`⊂H↓B∀XB 0@R`⊂@↓B ∀PB 0HU5 ↓T`5_↓T`5_↓T@5⊂↓T@5⊂↓T 5λ↓T 5λ↓TDXεQ(E(Gbq8B `8'a0⊂&@a@λ&@a@λ&@a@λ&@a@λ&a@λ&a@λ&a@λ&a@λ%@a@λ%@a@λ%@a@λ%@a@λ%a@λ%a@λ%a@λ%a0λ%a0λ%a λ%a⊂λ%@Aλ&@P⊂'↓(T +ε∧↓8@↓HβS@h↓S0pS 0hS 0`S 0XS 0XS 0PS 0H↓∪ 0HS@08S@08S@00S@0(S@0(S@0 S@0_S`0⊂S`0λS`Dxα∪`4x↓S`$("∃d"PE`@αB`8&a ¬i@_¬a0⊂&a _¬@)@_¬↓↓⊂⊂&a ∧@)@_∧@ ⊂_∧)@_∧@⊂_∧)P_β@ _β@)P_β 0_β@)P_β 0_β)P_α@ @_α@)P_α@ @_α@)P_α P_α)P_↓@ `_α)P_↓@ `_↓@)P_↓ p @IP_↓!_@)P_@!⊂ &A!⊂ 'a _'A0_'A0⊂'!@λ"Q↓`∂¬bp0∧A@u_αα 5 ↓B % ↓B ∃ α↓`∃(↓A@∃(α↓∃0↓@`∃0↓@@∃8α∃`58α∃`E0@ E(↓@5 ↓`5_↓↓ 5⊂↓↓@5⊂A`EλB 5B@DxC4h↓B`DP∧↓a∀("⊗#∩E`H¬↓IP ε@i`_ε@)`_ε)` ¬Ip_¬)p ∧*_β@*_β* α*⊂_↓@J⊂ ↓* _@* )j _)j _(@j⊂_(@j⊂_(iPH"Q!8
¬bp8λ∀ @@↓T0H↓T H↓T⊂Hα∀⊂H↓S`⊂H↓S`⊂@↓U`50↓U 5 ↓U5_↓T@5λ↓B∃↓B ∀x↓B ∀p↓B@∀hαα $h↓B@∀`↓B@$X↓B 4Pλ⊃(@FBq8β∧*0_∧j _¬J _¬J _¬* _¬*⊂_¬@*⊂_¬@*⊂_(@j_(j_(ip_'@ip_'@i`_'i`_'iP %αHT F#A8D@∃X↓⊗@EH@ 5@↓ 5@@@E8@`E0A 5(↓↓ 5(A@E A`E_B 5⊂B@5⊂B@EλC5C 4xC@4xC@DpD4hD 4`D@DX∩c∧PQ(@⊂G"q8¬Aj0⊂βj⊂⊂∧@j⊂¬@i`_ε@IP_πiP⊂π@i@_π@i0_λi0_λi _↓B`0_%`0X↓@i _↓B`0_%`0X↓@i _λi ⊂λ@i ⊂λi _π@I _πi0⊂ε@i0_¬@i@_∧@IP_βIp8"Q10¬bq↓⊗@%H↓VE@α∃`⊂λ↓U`⊂λ↓U@⊂⊂↓U ⊂↓U ⊂_↓U⊂ ↓U⊂ α∀`⊂(α∀`⊂0↓T@⊂8↓T ⊂@↓T ⊂@↓T⊂H↓T⊂H↓S`⊂P↓S@⊂X↓S@⊂X↓S Xα∩@p0∧Q(@ Gαq8β∧j↓_'@"⊂λ'@"⊂λ'@"⊂λ#A `λ¬@*h(β*λ¬@(p(@"⊂λ%@"⊂λ%@"⊂λ%∧i!_"QQ`∂Ebp0∀`0P↓T@0P↓T@0P↓T@0P↓T@0P↓T 0P↓T 0P↓T 0P↓T 0P↓T0P↓T0P↓T0P↓T0P↓S`0P↓S`0P↓S`0P↓S`0P↓S@0P↓S@0P↓S@0P↓S@0P↓S 0P↓RA⊂ ∧Q(@0
π"q8β¬
ε↓
⊂_πJ⊂ ε@J _ε@* _ε@* ε*0_ε*0 *j@_*↓
P⊂*@*@λ)@!@λ)!Pλ(@!Pλ(!`λ'@!`⊂&@A`⊂&!` %Di! "Qq8∂Ebp_αB D`βA@tX↓`@ ↓@`4P↓↓@ _↓A@∀PA` ⊂↓A`∃⊂↓@%_@ %_@ %_↓T@E⊂↓T@5⊂↓T@5λ↓T 5λ↓T 5↓T5↓T4xα∩a4("ααQXEaX*A
P_*@jP_)α p_↓` _'@@_αi@_α@`P⊂%@``_α@i0_α@``_%``_βi _β``_%``_α@i _α@``_%@@P_α@i0_α`@⊂&@` _↓ip@(@j⊂_(@j &αhT ∧Ecq8Aa5 α∃5 ↓R@@0↓A@D`↓A 0(↓S0 ↓A 4`↓A0 ↓S0 ↓A4`↓A0 ↓R`0 ↓A4X↓A0 ↓R`0 ↓A4X↓A0_↓R`0_↓A$`↓`0_↓S0⊂↓@@4h↓@ dxβ∀5↓T4xα∩a4("αC↓`Ea@8)@``_(@a ⊂(a@⊂'@aP_'a`_'a`_&@ap_&@ap_&@ap⊂&@a`_&@a`⊂&@aP_&@a@_'A@⊂'A0⊂'A0λ'@! ⊂% @λ∧@@0λ% @λ∧@ @λ% @⊂β@ @λ%↓A0%↓@p8%↓@p0"Qεx
¬"P@α∀ _↓∪` (↓∪@ 0↓∪ 00↓S 8↓S08↓S08↓∩`08↓R`08↓R`08↓R`08↓R@08↓R@08↓R@08↓R@08↓∩@00↓R@ 8↓∩@ 0↓R@0(↓∩` _↓ST("!Aλ
E!0λ*@*0_)↓ `8)j _)j⊂_(@j⊂_(@j_(j_(ip_'@ip_'@i`_%αhT →∧αA(
BE↓↓$xA`$p@`⊂ ↓∪@⊂_A4hA⊂ ↓S ⊂ A4h@`⊂(↓S ⊂⊂A 4p↓↓@%(↓∃%_↓∀ $x↓∪@∀hB ∀`B@∀X↓B$X@A∀PA dPA@D("b↓
E!((@P⊂'@ p_' 0λαiPλα @_&@ @λαiPλ↓@@@_'`P_+JP⊂(↓*@⊂*@JP⊂*@jP_%`p_%`p_%A⊂%!⊂%@ P_&↓HT ~βb⊃`
C %0↓U@50↓U 5(↓U % ↓U%_↓T`%_↓∀@%λ↓∀ ⊂↓T _↓S` _↓S`⊂ ↓S@⊂(↓S ⊂0↓Ra4PBe_↓T`5⊂↓T@5⊂↓T@5⊂↓⊃(C(λ¬αQ(β@`⊂(α*@'@ 0λ'@)pλ'@)`λ' ⊂('@P⊂' `⊂*@jP_*@jP_%@A_%`p_%A_%!_%@ p⊂& @_&A(T ≠∧αQ(
B Uλ↓A∃↓↓`∀x↓↓@4p↓↓@4h↓S $`↓S ⊂α∩`0λA∀Xα↓ $X↓A@4Pα↓@4P↓A`4P↓A`4P↓A`4P↓A@4P↓↓`4P↓↓`$X↓↓ $X↓↓$hα⊃(C8λ¬BQ(↓@ _β)@@αI@@↓@I0 α↓)0⊂∧@I ⊂¬) λ¬J@⊂*J0⊂)@J ⊂)J⊂⊂(@J_(Ip_'@ip_'ip⊂"Qπx E"PHα∀ T⊂0↓∪` 0↓∪@ 8↓∪@ 8↓∪@00↓∪@0(↓∪@P⊂↓∪`eβ∪@ ⊂αS α∪ 8↓R` @↓R` @↓R@ H↓∩@ H↓∩@ HR` 8S ↓∪ T("∞"↓
E!((@@0⊂(@P⊂'@@`⊂'@p⊂&@`p_&@`p_&@`p⊂&`p_&@@p_&@@` &@@` '@0('A _*@J@_*I _βi _βI λβ@I ⊂αI@("Q∧A8
¬bqα⊗ U` 0U@ @U 0@U 00↓U00↓U5 ↓U5_↓T!¬_↓T`5⊂↓T@5⊂↓T@5λ↓S pHS↓HR` _β↓ $P↓` ⊂∧R`P(αQ(B0GBq8∧↓!⊂⊂(@@@λ∧j⊂β p⊂'@@`⊂∧)`_α@`pλ'`P⊂β@)P_π)P_ε@)P8β@iP ↓@ Pλ↓@)P_α @λα)@ α 0λβ)@⊂↓↓@λβ)0_¬ ⊂⊂↓@) _¬A0λ%a@⊂α) _ ) _λ@) _λ@) _λ)0⊂π@)@⊂ε@)P_∧j@"Qπph
¬bp0α∪@ ↓∪ ⊂8S⊂@↓∩`⊂H↓∩`⊂@↓R@08↓∩@0(α∩@ (α∪`TpαS Dh↓∪ _S ⊂_S D8α`$`α∩`D`↓⊃(CpεDαq¬J0 )A
0_#A` '@ 0⊂'@ 0⊂)J 'A P(&↓P⊂%AP_%@@p_%@Aλ%A⊂λ%@!λ%@ pλ& @⊂&AλT ∞HDA8CBEP@ @H↓V ⊂⊂↓B`%H@@0X↓⊗⊂_↓B`∃@@`0XU`⊂_↓C∃0↓`0`U@⊂ ↓A`∃(A 08U ⊂ ↓A`∃ A 00↓∃α∃_A@00↓∀@⊂0↓A`∃⊂A@08A ∃λA`08A ∃λA`0`T⊂8↓C ∀xB0`S`⊂@↓B`$pB 0P↓∪ @↓B DPβAα∀("πD"@Ea18)@`P(∧@j⊂_∧a0⊂(A _¬@Ip⊂¬@a0λ'A@_¬@)P⊂εa@λ&a@_∧ 0λ%@aP_∧)0_ε@`p⊂%aP_∧) _εC _ε@`p⊂%aP_β@I _εaλ%a@_∧ @λ%a@_ε@) _εa@λ%a0_ε@)0_¬a@λ%@a _¬@I@_∧↓↓ ⊂&AP ∧A
↓0"QβqX∂Gβ⊃HX@∃8β@`∃(↓↓@E_↓α@%⊂↓α`5↓B`⊂λ↓∪`0X@@4x↓α`⊂ ↓∪@0PA $h↓B@⊂0↓∪ 0HA@4`↓B ⊂8↓S0@B4`↓B⊂@↓S08B 4`↓↓`⊂H↓S 0B@4`↓↓ ⊂P↓S B`$`↓@@⊂X↓S λB`4h↓B`4p↓α@$pα↓@$h@`t`R`∀("λ! pE`p⊂(↓ p 'A p '@ip_'@ip⊂'i`⊂'I`⊂')`λ'(p ↓I0 %↓ 0⊂"Qπ@Hε¬b0↓∪`Dxα∪`48α↓ ∀p↓∪@∀pS $h↓∪4`↓S4X↓R`4X↓R@DPα∩@DP↓Q(B_
Gca8λ pλ-@`⊂,@@`⊂,@@`⊂,@`⊂,@`⊂+@@`⊂+@@`⊂+@`⊂+@`⊂&F Q@*@`⊂)@@`⊂)@@`⊂)@@`⊂)@`⊂)@`⊂%F 1@(@`⊂'@@`⊂'@@`⊂'@`⊂'@`⊂&@@`⊂&@@`⊂&@@`⊂&@`⊂&@`⊂& pλ"Q∧QH∂Fc⊂8↓C@∀x↓@⊂h↓∪@ B@4h↓A00α∪ (@@`λ↓∪0(B$`↓A ⊂8↓∪0(A@$X↓A ⊂0↓∩`0(A@$`↓↓⊂0↓∪ A $`↓`⊂(↓∪@0(↓∃ 0↓U 0↓@∃_↓↓@ _T@ 0↓↓ ∃λ↓↓@0(T 0↓A ∃↓↓@0(S` 8↓A ∀p↓α0(S H↓A∀`↓α@0 R` X↓@`∀P↓β ⊂R@⊂x↓Q(B8ββA!8↓@I@ %A)@⊂@)pλ')`λ&@)@λ%@) λ"Q¬h λ#⊂`U ∃_↓∀@%λ↓∀$x↓∪`$p↓∪ 4h↓∪4`↓∩`4X↓∩`$P↓R@4P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$XR`$`S$hS@∀("
!`x⊂F!λ)@*@λ*JPλ*@JP⊂*@j`⊂+J`⊂+J`⊂*@jP_*@jP⊂*@J@_*J@⊂)@j0⊂)j ⊂(@J⊂⊂(Ip⊂'@)`λ&@)0⊂%(T ∃∧α`pB %_↓∀@$hA ↓∪0_↓@Dhα ⊂⊂↓S`uλ↓∪`d`α ⊂⊂↓R`0_@`4XA ↓∀%↓∪`$("
bq`E↓`⊂,K⊂+@Jp⊂+@Jp⊂+J`⊂+J`⊂%EI10*@JP⊂*J@⊂*J@⊂)@J0⊂)@J0⊂)@(T ⊗↓!P↓@`$`↓R`D`↓S@∀hS ∀`S∀XR@∀("@PH↓@` ⊂%A %@HT ↔E"b⊂E∃h↓↔%`↓⊗`%X↓⊗@%H↓⊗ %@↓⊗%8↓∃`%0↓∃ %(↓∃% ↓∀`%⊂↓∀@%λ↓∀ %↓∀$x↓∪@$p↓∪ $h↓∪$X↓∩`$P↓∩@∀("∞@pXπβ@@_&A P 'Hp8↓I0 %↓ 0⊂"Qπ0@¬E!`(↓S@Dpα∪`$8β@`$`↓R`D`↓S@∀hS ∀`S∀XR@∀("∂#⊃h∧C 10&EHp0EI10"Qλ↓8∞EbpXβ∀` 0↓∀ P↓∀⊂pS`⊂xS@⊂0α↓`∀hA A@∀`A 0A ∀XA 8↓@`∀XA08↓@`∀PA 8↓A∀PA08↓A∀PA08↓A∀PA08↓A∀PA00↓A∀PA00↓A∀PA (α`∀PA @ 0⊂R@⊂8α`DXR`∀`↓β@4p↓αU∧⊃(EXπ∧∧!H∧↓J 0)J ⊂(@J⊂⊂(@J⊂⊂(J⊂(J⊂'@Ip⊂'@Ip⊂'I`⊂'I`⊂&@IP⊂&@IP⊂&I@⊂&I@⊂%@I0⊂%@I0⊂%I 0%↓HT .CAR⊂Be⊂β∃@%0↓∃ %(↓∃ %(↓∃% ↓∃% ↓∀`%_↓∀`%_↓∀@%⊂↓∀@%⊂↓∀ %λ↓∀ %λ↓∀%↓∀%↓∪`$x↓∪`$x↓∪@$Pβ∩@d("_`h¬¬`Pλ')Pλ&)0λ%@) λ% ⊂⊂%↓) (%@hT ↓B0@ $Pα∩`4`↓S $pQ(A_∧¬a8α@i` 'iP⊂&I0λ"Qα@H AαP↓↓@∀X↓`$`αS $("¬!⊃ β¬`λβ@) λβ@) λβ) λα@I λαI 0%AλT αb@ @↓4("¬`q@αE` %@ @λ% Pλ% Pλ% @λ%AλT α!P0↓4p↓S@E↓T4xα∩@t("λ↓0h↓β` &@i _"Q`H A"p(S@4h@@∀X↓`$P↓↓ ∀("↔`@h↓E`⊂⊂%↓ %@HT >BbP0@@0_↓S0_↓R`0_↓R` ↓∩`⊂(R@ ↓⊃(Gpε¬ 10α@Pλ&↓ ⊂%@ 0 % P⊂"Q∂pP
bpλ↓@`$Pα@DPα@DX↓`4("λAQ_¬¬`0⊂α@I@ ↓A 0(↓↓)@⊂@ 0⊂@)pλβ)`λβ)`λβ)Pλβ)@λβ)0λβ) λβ(T ⊗B!@⊂∧↓∀P∧RA∧("↔↓Q0¬¬`Pλβ)`λβ)Pλβ)@λβ)0λβ)0λβ) λβ) λ@@0λ@I (↓↓) (↓↓)0_αhT =D"@∧@α∀("∨∧B@α α "{avH2→-g 4YM⊗(9λλ4h*∩=q(1[lFH7→n6_4→-V(⊂∃U@⊂≥W@:;aF07[NF00XlV⊂<]←_<|α8T@∞≥∂U`eOX≠@OX≠␈␈␈x␈@∃?␈␈x{@⎇@↓Pαx
8αr0{$⊂πR@ ¬m?0↓π`p,\@q↑`_∞↓NP
@↓@_⎇@AXβ∂¬⊂βλp{↓#`εvU0ε_←0βπ h48@J↑`8∂@↓eH9↓H>⎇A↓hβ-∞⊂β≥{α#pπ⊗. εF␈0¬π h48@
)≡`X
↓<@c@H|⎇AA@α[βH↓)⊂{β#⊂¬T⊂α`␈0π ↓|/@¬b↑`x∩@α∪ q`#⎇Bh↓<F⊂␈_{∧!`β↔∃0α¬∂0 ¬ HS(@∪α}a_
@↓~0Qα0∂=BA(α4j⊂∧cλ{¬"P∧iT HO0¬ HS(@∪_}a8⊂@↓t⊂{@α06=C↓_α⊗a⊂∧h8{ε"`¬π]`α
∨0
π h48@∧:≡aX∞@↓V@qH≡⎇CA(α4j⊂↓→P{π$@λ≤npπr?0∂
↓⊂*%`⊂ ≡ax∂@↓eH9αZ⎇DX↓≡=⊂∧i`{λ!Pαy λ(O0⊃¬ HS(@∪G≡b_⊂@↓tP↓αλS=DAxβBVβcλ{ $⊂πR@ λD∨0∪π`p,\@∂ ↑b8ε@↑ 1α⊂e=E↓λ↓xX⊂∧.H{
"⊂βq0 λfO0∃¬ HS(@⊃←}bX∂@↓eH9α_↑=E@h↓<F⊂∧?_{!pβ5≡ j?0↔β (r_@∩∧≡bx
@↓~0Qα ∂⎇F↓(α4j⊂β1({"P∧iT εn∂0→¬ HS(@
h}c_
@↓~0Q↓`=FA(α4j⊂βE_{
"P∧iT π∀/0≠¬ HS(@∞:}c8
@↓~0Q↓h!=G↓(α4j⊂βX({∞"P∧iT π;O0≥β (r_@∩≠≡cXε@↑ 1α B⎇G@h↓<F⊂∧↔({∂#pπ⊗. ∃O0∨¬ HS(@∂S↑cx
@↓~0Q↓x∧⎇H↓xβK↔⊂∧Kh{⊂#`εvU0β"/0!π h∀`ε[>d_∞@↓V@qhg=HAxβC!↓bX{⊃#@ε,&pβQo0#ε``≤<π<}d8⊂↓g(r@x$=I↓pβ;*X↓zh{∩"βQW0∧α/0%¬@Hoa`λ∩>dX∂@↓e⊂z@↓D=IAPαx
8α∂λ{∪$@λ+0∧'∂0'π@hm*`λz}dx∂@↓eH9↓⊂9=J↓`β⊗∪8α-({∀#pπ⊗. ∧d/0)π@hPq` i}e_@↓)8→↓ λ=JAhβ-∞⊂αF8{∃#`εvU0¬↔/0+π@hm*`
G}e8∀α(h=@↓(>=K↓pβ;*Xαbλ{⊗#`εvU0¬P∂0-ε XCp@4>eXε@↑ 1α()=KA(α4j⊂∧v{↔!Pαy 3␈0/¬ HS(@∪*>exε@↑ 1α0`=Lh↓<F⊂∧↑`{_"P∧iT ∧?01∧`@[∧@≤≡f_ @↓0 a⎇LA(α4j⊂∂0{→"0∧-B *←03β (r→ b↑f8 @↓0 λm⎇M↓(α4j⊂#⊂{~!Pαy R∨05β (r_@↓3↑fX @↓0 _⎇M@X↓≡=⊂70{≠$⊂πR@ v←07¬`PKL@α≡fx
@↓~0Q @⎇N↓(α4j⊂L{≤"0∧-B ↓#?09∧ @i`α[↑g_λ@|(A(R⎇N@p↓KJX]P{≥"`¬π]0↓B?0;∧`@[∧@β→↑g8
@↓G@)0W⎇O↓_α⊗a(q@{≡"@∧KK0↓l∨0=∧ 8ba βp≡gX
@↓~0Qα8K⎇OBP∧iT(∧z{∨"P∧iT Y␈0?¬ HS(@∪;↑gx
@↓~0Qα8α} ∪y⊂=xow{⎇x